module HplProducts.TestTypes where
import FeatureModel.Types
import HplAssets.UCM.Types
import HplAssets.BPM.Types
 
data SPLModel = SPLModel{splUcm :: UseCaseModel,
                         splBpm :: BusinessProcessModel}
 
data InstanceModel = InstanceModel{featureConfiguration ::
                                   FeatureConfiguration,
                                   ucm :: UseCaseModel, bpm :: BusinessProcessModel}